- Vienna definition language
- язык программирования VDL
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
Vienna Definition Language — Die Vienna Definition Language (VDL) ist eine im IBM Labor in Wien entwickelte Programmiersprache, die verwendet werden kann, um formale, algebraische Definitionen von Programmiersprachen für Computersoftware mit einer Operationellen Semantik… … Deutsch Wikipedia
Vienna Definition Language — El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de… … Wikipedia Español
Vienna Development Method — (VDM) ist eine Methode zur Entwicklung von Computer Programmen, die auf formalen Spezifikationen mit Hilfe der VDM eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, VDM++. Literatur John … Deutsch Wikipedia
Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… … Wikipedia
Vienna Development Method — El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition… … Wikipedia Español
Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Meaning (philosophy of language) — The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas. According to them meaning is a relationship between two sorts of things: signs and the kinds of things they mean (intend … Wikipedia
Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School … Wikipedia
Cornish language — For the Anglo Cornish accent and dialect, see Anglo Cornish. Cornish Kernowek, Kernewek Pronunciation [kərˈnuːək] Spoken in … Wikipedia
Hungarian language — Hungarian magyar Pronunciation [ˈmɒɟɒr] Spoken in … Wikipedia